Quantifying Timing Leaks and Cost Optimisation
نویسندگان
چکیده
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation.
منابع مشابه
Optimisation of shock absorber process parameters using failure mode and effect analysis and genetic algorithm
The various process parameters affecting the quality characteristics of the shock absorber during the process were identified using the Ishikawa diagram and by failure mode and effect analysis. The identified process parameters are welding process parameters (squeeze, heat control, wheel speed, and air pressure), damper sealing process parameters (load, hydraulic pressure, air pressure, and ...
متن کاملOptimisation Methods in SPICE, a Comparison
The field of optimisation is still not appropriately covered in modern computer programs for circuit analysis as SPICE. It was originally developed at the University of California at Berkeley. The last official release of SPICE 3f4 was published in 1992. It has numerous bugs, mainly memory leaks. In order to implement optimisation methods most bugs were tracked down and fixed. Several well-know...
متن کاملUnintentional and Hidden Information Leaks in Networked Software Applications
Side channels are vulnerabilities that can be attacked by observing the behaviour of applications and by inferring sensitive information just from this behaviour. Because side channel vulnerabilities appear in such a large spectrum of contexts, there does not seem to be a generic way to prevent all side channel attacks once and for all. A practical approach is to research for new side channels ...
متن کاملLocation and Capacity of UPFC to Improve the Operation Power System Using a Grasshopper Optimisation Algorithm
Unified Power Flow Controller (UPFC) is one of the most efficient FACTS devices that can be individually or combinatorial on all effective parameters in the transmission power of the transmission lines. With the flexibility of effective parameters in power passage, the power system operation can be improved. in this study, the optimization algorithm based on location and optimal capacity of UPF...
متن کاملAn optimisation approach to the location and sizing of multiple leaks in a duct
The detection of leaks in ducts is of crucial importance in many industrial situations. The leaks could be cracks or holes in the wall of the duct, or some other unexpected porosity. One of the standard methods of testing the integrity of a duct involves sealing the end of the duct, increasing the pressure within to a certain level and confirming that this level remains constant. However, in in...
متن کامل